import java.io.BufferedReader;
import java.io.DataInputStream;
import java.io.FileInputStream;
import java.io.InputStreamReader;
import java.util.HashSet;

/**
 * Created by Rimik on 12/04/2014.
 */
public class partB {

    public static void main(String[] args) {
        String FileNamePlainMsg = args[0].toString();
        String FileNameCipherMsg = args[1].toString();
        String FileNameCipherText = args[2].toString();
        String FileNameVector = args[3].toString();
        KnownPlainDecipher k = new KnownPlainDecipher(FileNameVector,FileNamePlainMsg, FileNameCipherMsg,FileNameCipherText);
        k.runPlainAttack();

       // KnownPlainDecipher k = new KnownPlainDecipher("4iv.txt","4Msg.txt", "4MsgCipher.txt","4TextCipher.txt");
       // k.runPlainAttack();
    }

}
